panelMenu: Fix exception when destroying menuless button

There's explicit API to create PanelMenu.Buttons with no menu, so
guard against this case in destroy().

https://bugzilla.gnome.org/show_bug.cgi?id=686763

diff --git a/js/ui/panelMenu.js b/js/ui/panelMenu.js
index 939abbb486cfb62ec65db9714c42302e34a49959..bdfa465d39f5c39267fe6783d7fb4d2d9fb1408a 100644 (file)
--- a/js/ui/panelMenu.js
+++ b/js/ui/panelMenu.js
@@ -214,7 +214,8 @@ const Button = new Lang.Class({
     destroy: function() {
         this.actor._delegate = null;
 
-        this.menu.destroy();
+        if (this.menu)
+            this.menu.destroy();
         this.actor.destroy();
 
         this.emit('destroy');